-
1 Formal System
Common to both logical positivism and transformational linguistics is their view of language-as-mathematics. Both focus on language as a system of primitive or elementary units which can be combined according to fixed rules. However useful this analogy may be in certain limited ways, it creates problems in understanding how the purely formal system of elements and rules relates to something other than itself. Both create dualistic systems which oppose formal linguistic competence to empirical components. (Tyler, 1978, pp. 13-14)Historical dictionary of quotations in cognitive science > Formal System
-
2 Formal System
3.1.11 документированная система контроля (Formal System): Комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально.
Источник: ГОСТ ИСО 14698-1-2005: Чистые помещения и связанные с ними контролируемые среды. Контроль биозагрязнений. Часть 1. Общие принципы и методы оригинал документа
2.70 документированная система контроля (formal system): Комплекс мер по контролю биозагрязнений (2.25), включающий в себя методики, оформленные документально.
[ИСО 14698-1:2003, статья 3.1.11]
Источник: ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа
Англо-русский словарь нормативно-технической терминологии > Formal System
-
3 formal system
sistem formal -
4 formal system
Большой англо-русский и русско-английский словарь > formal system
-
5 Formal System
Фармация: документированная система контроля (комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально) -
6 formal system
Фармация: документированная система контроля (комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально) -
7 formal system
formalni sustav -
8 formal system
формальды жүйеThe English-Kazakh dictionary of Informatics and computer technology dictionary > formal system
-
9 formal system
мат. -
10 formal system
English-Russian dictionary of computer science > formal system
-
11 formal system
Англо-русский словарь по исследованиям и ноу-хау > formal system
-
12 formal system of reasoning
Лингвистика: формальная система рассужденийУниверсальный англо-русский словарь > formal system of reasoning
-
13 Godel numbering of a formal system
Вычислительная техника: геделевская нумерация формальной системыУниверсальный англо-русский словарь > Godel numbering of a formal system
-
14 correct formal system
Математика: корректная формальная система -
15 derivational formal system
Математика: деривативная формальная системаУниверсальный англо-русский словарь > derivational formal system
-
16 model of formal system
Вычислительная техника: модель формальной системыУниверсальный англо-русский словарь > model of formal system
-
17 correct formal system
English-Russian scientific dictionary > correct formal system
-
18 derivational formal system
English-Russian scientific dictionary > derivational formal system
-
19 Gödel numbering of a formal system
нумерация Геделя для Формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе)Англо-русский словарь промышленной и научной лексики > Gödel numbering of a formal system
-
20 Godel numbering of a formal system
English-Russian information technology > Godel numbering of a formal system
См. также в других словарях:
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… … Universalium
formal system — noun The grouping of a formal language and a set of inference rules and/or axioms. Syn: logical system, logical calculus, logic … Wiktionary
formal system — (or theory) A theory whose sentences are well formed formulae of a logical calculus, and in which axioms or rules governing particular terms correspond to the principles of the theory being formalized. The theory is said to be couched or framed… … Philosophy dictionary
formal systems — formal system … Philosophy dictionary
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia